package syntax;

////import com.modeliosoft.modelio.javadesigner.annotations.objid;

//@objid ("005d45e4-bea3-10d9-ac48-082e5f2773a2")
public class Clock extends NamedObject{
    //@objid ("0052e8ce-d1a7-10da-ac48-082e5f2773a2")
    private Domain domain;

    public Domain getDomain() {
        return domain;
    }

    public void setDomain(Domain domain) {
        this.domain = domain;
    }

    public Clock(String name) {
        super(name);
        domain = new Domain(0, parameters.Parameters.getInfinity());
    }

    public Clock(String name, Float lb, Float ub) {
        super(name);
        domain = new Domain(lb, ub);
    }

    @Override
    public String toString() {
//        return getName() + "[" + domain.getL_b() + "," + domain.getU_b() + "]";
        return getName();
    }        
}
